Bolzano theorem